Abstraction-based Planning for Uncertainty-aware Legged Navigation
نویسندگان
چکیده
This paper addresses the problem of temporal-logic-based planning for bipedal robots in uncertain environments. We first propose an Interval Markov Decision Process abstraction locomotion (IMDP-BL). Motion perturbations from multiple sources uncertainty are incorporated into our model using stacked Gaussian process learning order to achieve formal guarantees on behavior system. consider tasks which can be specified Linear Temporal Logic (LTL). Through a product IMDP construction combining IMDP-BL robot and Deterministic Rabin Automaton (DRA) specifications, we synthesize control policies allow safely traverse environment, iteratively unknown dynamics until specifications satisfied with satisfactory probability. demonstrate methods simulation case studies.
منابع مشابه
Navigation Planning for Legged Robots
As legged robots gain the abilities to walk, run, and balance on more than just flat, obstacle-free floors, they grow closer to fulfilling the potential of legged locomotion shown by biological systems. To truly fulfill this potential these robots must successfully traverse complicated, rough terrain, requiring the robots to step onto or over various features of the environment. Furthermore, wh...
متن کاملNavigation Planning in Probabilistic Roadmaps with Uncertainty
Probabilistic Roadmaps (PRM) are a commonly used class of algorithms for robot navigation tasks where obstacles are present in the environment. We examine the situation where the obstacle positions are not precisely known. A subset of the edges in the PRM graph may possibly intersect the obstacles, and as the robot traverses the graph it can make noisy observations of these uncertain edges to d...
متن کاملTheoretical Foundations for Abstraction-Based Probabilistic Planning
Modeling worlds and actions under uncer tainty is one of the central problems in the framework of decision-theoretic planning. The representation must be general enough to capture real-world problems but at the same time it must provide a basis upon which theoretical results can be derived. The cen tral notion in the framework we propose here is that of the affine-operator, which serves as a ...
متن کاملDynamic Motion Planning for E cient Visual Navigation under Uncertainty
This paper deals with a planning problem for a mobile robot to reach a goal quickly and safely under uncertainty of vision and motion. If a robot moves to the goal using only dead reckoning, the positional error may increase by the motion uncertainty. The error can be reduced by visual information. But the vision also includes uncertainty caused by the pixel quantization. It also takes consider...
متن کاملMotion- and Uncertainty-aware Path Planning for Micro Aerial Vehicles
Markus W. Achtelik and Simon Lynen Autonomous Systems Lab, ETH Zurich, CH-8092 Zurich, Switzerland e-mail: [email protected], [email protected] Stephan Weiss Computer Vision Group, NASA Jet Propulsion Laboratory/California Institute of Technology, Pasadena, California 91109 e-mail: [email protected] Margarita Chli Vision for Robotics Lab, School of Informatics, University...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE open journal of control systems
سال: 2023
ISSN: ['2694-085X']
DOI: https://doi.org/10.1109/ojcsys.2023.3296000